System Description: E 0.81

نویسنده

  • Stephan Schulz
چکیده

E is an equational theorem prover for clausal logic with equality. We describe the latest version, E 0.81 Tumsong, with special emphasis on the important aspects that have changed compared to previously described versions.

برای دانلود رایگان متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

How to Make Welayate Faqih as a Discourse in the Curricula of Islamic Republic of Iran's Educational System

Current article is aimed at introducing discourse making approach as the desired approach in transferring ma'aref of Islamic revolution, especially the theory of Welayat-e faqih. First a general description of the current status in transferring the theory of welayat-e faqih was offered. Then the desired approach, i.e. discourse making approach was introduced and conceptology of main terms in th...

متن کامل

Feasibility of E-learning management system for the staff of Tehran Municipality

Empowering employees in specialized and general qualifications fields is required for urban management organization (Tehran Municipality). Planning and establishment of comprehensive system of electronic learning is considered the main goal of human resource and educational managers. . This study tried to investigate the feasibility and execution of electronic learning courses for in-service st...

متن کامل

Future study of Description System Architecture Approaches with Emphasis on Strategic Management

Systems Architecture is a generic discipline to handle objects (existing or to be created) called systems, in a way that supports reasoning about the structural properties of these objects. Systems Architecture is a response to the conceptual and practical difficulties of the description and the design of complex systems. Systems Architecture is a generic discipline to handle objects (existin...

متن کامل

Unani concept & treatment of benign prostate hypertrophy (a comparative study)

Benign Prostate Hypertrophy is a disease of elderly males. Modern pathy has described many causes and treatment of the disease. Unani pathy too has description of disease and the treatment in its resource books. The description is in different ways. At some places, it has been described in symptomatic form while at other places it has been considered as a disease. The disease has different name...

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

عنوان ژورنال:

دوره   شماره 

صفحات  -

تاریخ انتشار 2004